121. Expanding museum studies : an introduction / Sharon Macdonald -- Cultural theory and museum studies / Rhiannon Mason -- Sociology and the social aspects of museums / Gordon Fyfe -- Art history and museology : rendering the visible legible / Donald Preziosi -- Museums and anthropologies : practices and narratives / Anthony Alan Shelton -- Collecting practices / Sharon Macdonald -- The conundrum of ephemerality : time, memory, and museums / Susan A. Crane -- The origins of the public museum / Jeffrey Abt -- World fairs and museums / Robert W. Rydell
پدیدآورنده : edited by Sharon Macdonald.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
122. FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
پدیدآورنده : editors, Tiziana Margaria & Mieke Massink; sponsored by ACM SIGSOFT
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
F67I53
2005
123. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
124. Formal methods, foundations and applications :
پدیدآورنده : Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
125. Formal methods: foundations and applications :
پدیدآورنده : Juliano Iyoda, Leonardo de Moura (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2013
126. Formal methods: foundations and applications
پدیدآورنده : Jim Davies, Leila Silva, Adenilso Simao (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
127. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
128. Foundations and Practice of Security :
پدیدآورنده : edited by Joaquin Garcia-Alfaro, Frďřic Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer vision.,Software engineering.
رده :
QA76
.
9
.
A25
E358
2013
129. Foundations and practice of security :
پدیدآورنده : Nur Zincir-Heywood, Guillaume Bonfante, Mourad Debbabi, Joaquin Garcia-Alfaro (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
130. Foundations of Information and Knowledge Systems.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer science.,Logic design.
131. Foundations of Intelligent Systems :
پدیدآورنده : edited by Zbigniew W. Raś, Andrzej Skowron.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Information storage and retrieval systems.
132. Foundations of Intelligent Systems
پدیدآورنده : \ edited by Floriana Esposito, Olivier Pivert, Mohand-Saïd Hacid, Zbigniew W. Raś, Stefano Ferilli.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Expert systems (Computer science) -- Congresses.,Intelligent agents (Computer software) -- Congresses.,Artificial intelligence -- Congresses.,سیستم‌های خبره (کامپیوتر) -- کنگره‌ها ,عوامل هوشمند (نرم‌افزار کامپیوتر) ,هوش مصنوعی -- کنگره‌ها
رده :
QA76
.
76
.
E97
2015
E-Book
,
133. Foundations of information and knowledge systems :
پدیدآورنده : Flavio Ferrarotti, Stefan Woltran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems, Congresses.,Artificial intelligence.,Computer systems.,Computers-- Data Processing.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.
رده :
QA75
.
5
134. Foundations of intelligent systems :
پدیدآورنده : Michelangelo Ceci, Nathalie Japkowicz, Jiming Liu, George A. Papadopoulos, Zbigniew W. Raś (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Data mining, Congresses.,Expert systems (Computer science), Congresses.,Intelligent agents (Computer software), Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.,Expert systems (Computer science),Image processing.,Information retrieval.,Intelligent agents (Computer software),Society & social sciences.
رده :
QA76
.
76
.
E95
135. Foundations of intelligent systems : 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006 : proceedings
پدیدآورنده : Floriana Esposito... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Intelligent agents )Computer software(,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
4203
136. Foundations of intelligent systems : 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 2000 : proceedings
پدیدآورنده : Zbigniew W. Ras, Setsuo Ohsuga )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Intelligent control systems,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1932
137. Foundations of intelligent systems : 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005 : proceedings
پدیدآورنده : Mohand-Said Hacid...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Intelligent control systems,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3488
138. Foundations of intelligent systems : 11th International Symposium, ISMIS'99, Warsaw, Poland, June 8-11, 1999 : proceedings
پدیدآورنده : Zbigniew W. Ras, Andrzej Skowron )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Intelligent control systems,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1609
139. Foundations of intelligent systems : 9th International Symposium, ISMIS'96, Zakopane, Poland, June 9-13, 1996 : proceedings
پدیدآورنده : Zbigniew W. Ras, Maciek Michalewicz )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Intelligent control systems,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1079
140. Foundations of intelligent systems : 10th international symposium, ISMIS'97, Charlotte, North Carolina, USA, October 15-18, 1997 : proceedings
پدیدآورنده : Zbigniew W. Ras, Andrzej Skowron )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Intelligent control systems,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1325
